Spectra of highn and non-lown degrees

نویسندگان

  • Andrey Frolov
  • Iskander Sh. Kalimullin
  • Valentina S. Harizanov
  • Oleg V. Kudinov
  • Russell G. Miller
چکیده

We survey known results on spectra of structures and on spectra of relations on computable structures. asking when the set of all highn degrees can be such a spectrum, and likewise for the set of nonlown degrees. We then repeat these questions specifically for linear orders and for relations on the computable dense linear order Q. New results include realizations of the set of nonlown Turing degrees as the spectrum of a relation on Q for all n ≥ 1, and a realization of the set of nonlown Turing degrees as the spectrum of a linear order whenever n ≥ 2. The state of current knowledge is summarized in a table in the concluding section.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Low degradable protein supply to increase nitrogen efficiency in lactating dairy cows and reduce environmental impacts at barn level.

Generally, <30% of dairy cattle's nitrogen intake is retained in milk. Large amounts of nitrogen are excreted in manure, especially in urine, with damaging impacts on the environment. This study explores the effect of lowering dietary degradable nitrogen supplies--while maintaining metabolisable protein--on dairy cows' performance, nitrogen use efficiency and gas emissions (NH3, N2O, CH4) at ba...

متن کامل

The high/low hierarchy in the local structure of the ω-enumeration degrees

This paper gives two definability results in the local theory of the ω-enumeration degrees. First we prove that the local structure of the enumeration degrees is first order definable as a substructure of the ω-enumeration degrees. Our second result is the definability of the the classes Hn and Ln of the highn and lown ω-enumeration degrees. This allows us to deduce that the first order theory ...

متن کامل

Overexpression of Plasminogen Activator Inhibitor-1 in Advanced Gastric Cancer with Aggressive Lymph Node Metastasis

PURPOSE The purpose of this study is to investigate differentially expressed genes using DNA microarray between advanced gastric cancer (AGC) with aggressive lymph node (LN) metastasis and that with a more advanced tumor stage but without LN metastasis. MATERIALS AND METHODS Five sample pairs of gastric cancer tissue and normal gastric mucosa were taken from three patients with T3N3 stage (hi...

متن کامل

The ∆ 03 - Automorphism Method and Noninvariant Classes of Degrees

A set A of nonnegative integers is computably enumerable (c.e.),also called recursively enumerable (r.e.), if there is a computable method tolist its elements. Let E denote the structure of the computably enumerable setsunder inclusion, E =({We}e∈ω ,⊆). Most previously known automorphismsΦ of the structure E of sets were effective (computable) in the sense that Φhas an e...

متن کامل

The ∆3-automorphism Method and Noninvariant Classes of Degrees

A set A of nonnegative integers is computably enumerable (c.e.),also called recursively enumerable (r.e.), if there is a computable method tolist its elements. Let E denote the structure of the computably enumerable setsunder inclusion, E =({We}e∈ω ,⊆). Most previously known automorphismsΦ of the structure E of sets were effective (computable) in the sense that Φhas an e...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • J. Log. Comput.

دوره 22  شماره 

صفحات  -

تاریخ انتشار 2012